Câu ví dụCông thức này là một dạng đặc biệt của định lý cos hyperbolic áp dụng cho mọi tam giác hyperbolic:[67]